<html>
<body>
Adds a check verifying that a <code>Boolean</code> expression is <code>true</code>.
</body>
</html>